]> dgit.raspbian.org Git - gnome-shell.git/commit
Replace custom override schema with per-desktop override
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 16 Aug 2017 19:15:48 +0000 (21:15 +0200)
committerFlorian Müllner <florian.muellner@gmail.com>
Tue, 31 Jul 2018 18:36:26 +0000 (18:36 +0000)
commit393d7246cc176cbe8200a62bd661830597ca2fb6
tree40d73d2f221074aed330709bf33be56702a553a8
parent6217c3b88d837a8d03e524f0dcb89e8b7c5ee5d5
Replace custom override schema with per-desktop override

GSettings now recognizes per-desktop overrides that can be used
to change schemas' default values for a particular desktop. This
is not entirely unlike our existing custom override mechanism in
mutter, except that it is not limited to keys in org.gnome.mutter,
and it doesn't require a separate schema - the latter means that
we (and gnome-teak-tool) no longer have to figure out the correct
schema for the current login session and just use the original one.

https://bugzilla.gnome.org/show_bug.cgi?id=786496
data/00_org.gnome.shell.gschema.override [new file with mode: 0644]
data/meson.build
data/org.gnome.shell.gschema.xml.in
js/ui/windowManager.js
src/main.c
src/shell-global.c
src/shell-global.h